Książki autorstwa Marieke Huisman

Znaleziono 1 – 10 z 10 pozycji

1. 

   Formal Techniques for Distributed Objects, Components, and Systems

   Marieke Huisman, António Ravara | Springer, Berlin, 2023

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   84.42 €

   Kup książkę
2. 

   Integrated Formal Methods

   Erika Ábrahám, Marieke Huisman | Springer International Publishing AG, 2016

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   94.79 €

   Kup książkę
3. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Dirk Beyer, Marieke Huisman | Springer International Publishing AG, 2018

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   63.69 €

   Kup książkę
4. 

   Concise Guide to Software Verification

   Marieke Huisman, Anton Wijs | Springer, Berlin, 2023

   
   

   Dostępna u dostawcy - Wysyłamy za 11 - 13 dni

   Język: Angielski

   Oprawa: Twarda

   85.03 €

   Rabat 4 %

   Oszczędzasz 4.25 €

   Kup książkę
5. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   58.56 €

   Kup książkę
6. 

   Fundamental Approaches to Software Engineering

   Marieke Huisman, Julia Rubin | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   58.56 €

   Kup książkę
7. 

   Formal Methods for Industrial Critical Systems

   Jan Friso Groote, Marieke Huisman | Springer International Publishing AG, 2022

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   84.42 €

   Kup książkę
8. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet | Springer, Berlin, 2005

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   58.56 €

   Kup książkę
9. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Dirk Beyer, Marieke Huisman | Springer International Publishing AG, 2018

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   63.69 €

   Kup książkę
10. 

    Tools and Algorithms for the Construction and Analysis of Systems

    Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen | Springer Nature Switzerland AG, 2019

    
    

    Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

    Język: Angielski

    Oprawa: Miękka

    63.69 €

    Kup książkę

Oferujemy zniżki dla uczniów, nauczycieli i studentów. Zobacz więcej